منابع مشابه
Metalogical Decorations of Logical Diagrams
In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of (sub)contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for ...
متن کاملHyperproof: Logical Reasoning with Diagrams
Brief overview Hyperproof is a Macintosh program designed to help students learn how to reason logically, using either sentenccs of first-order logic, or diagrams, or both. 1 An ilhistration of a typical Hyperproof screen is shown in Figure 1. Hyperproofis a descendant of our earlier courseware Tarski’s World [2]. Tarski’s World uses diagrams to help teach the language of first-order logic, and...
متن کاملBifurcation Diagrams of Nonlinear RLC Electrical Circuits
This work investigates the application of bifurcation diagrams in the chaotic study of nonlinear RLC electrical circuits. The relevant second order differential equations were solved for ranges of appropriate parameters using Runge-Kutta approach. The solutions obtained were employed to produce bifurcation diagrams using Microsoft excel 2007. The mean estimate of 669 . 4 obtained from the b...
متن کاملDiscretizing bifurcation Diagrams Near codimension Two Singularities
We consider parameter-dependent, continuous-time dynamical systems under discretizations. It is shown that fold-Hopf singularities are O(h)-shifted and turned into fold-Neimark-Sacker points by one-step methods of order p. Then we analyze the effect of discretizations methods on the local bifurcation diagram near BogdanovTakens and fold-Hopf singularities. In particular we prove that the discre...
متن کاملBifurcation diagrams of coupled Schrödinger equations
Radially symmetric solutions of many important systems of partial differential equations can be reduced to systems of special ordinary differential equations. A numerical solver for initial value problems for such systems is developed based on Matlab, and numerical bifurcation diagrams are obtained according to the behavior of the solutions. Various bifurcation diagrams of coupled Schrödinger e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Theoretical Biology
سال: 2019
ISSN: 0022-5193
DOI: 10.1016/j.jtbi.2019.01.008